21![POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin](https://www.pdfsearch.io/img/9e7c4fefb975f3c93a65ffa6d1cd2e90.jpg) | Add to Reading ListSource URL: users.eecs.northwestern.edu- Date: 2017-08-17 15:17:53
|
---|
22![Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa](https://www.pdfsearch.io/img/7e90f8ff26962219d88b1e9ccd809284.jpg) | Add to Reading ListSource URL: drops.dagstuhl.de- Date: 2017-05-03 03:13:43
|
---|
23![A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1 A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1](https://www.pdfsearch.io/img/96a24541cb0f7662cfffb6d564076643.jpg) | Add to Reading ListSource URL: jeapostrophe.github.io- Date: 2018-04-03 12:30:31
|
---|
24![POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin](https://www.pdfsearch.io/img/fdff21e342901b5801b8366a4667afe9.jpg) | Add to Reading ListSource URL: florence.io- Date: 2017-08-17 15:17:53
|
---|
25![A Semantics for Context-Sensitive Reduction Semantics Casey Klein1 , Jay McCarthy2 , Steven Jaconette1 , and Robert Bruce Findler1 1 2 Northwestern University A Semantics for Context-Sensitive Reduction Semantics Casey Klein1 , Jay McCarthy2 , Steven Jaconette1 , and Robert Bruce Findler1 1 2 Northwestern University](https://www.pdfsearch.io/img/e4fc7a629c00a350f14ee3bc40e77633.jpg) | Add to Reading ListSource URL: www.eecs.northwestern.edu- Date: 2011-09-24 18:20:36
|
---|
26![Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago](https://www.pdfsearch.io/img/da9dd9e736c0c76141588b020b027d24.jpg) | Add to Reading ListSource URL: www.cs.utah.edu- Date: 2004-07-07 16:55:57
|
---|
27![Fine-Grained Interoperability through Mirrors and Contracts Kathryn E. Gray Robert Bruce Findler Fine-Grained Interoperability through Mirrors and Contracts Kathryn E. Gray Robert Bruce Findler](https://www.pdfsearch.io/img/79fcb62a4f7d858daf350c134ad3b33a.jpg) | Add to Reading ListSource URL: www.cs.utah.edu- Date: 2005-09-05 08:38:04
|
---|
28![Curriculum Vitae Robert Bruce Findler · SepMailing Address EECS, Northwestern University 2145 Sheridan Rd, Tech L359 Curriculum Vitae Robert Bruce Findler · SepMailing Address EECS, Northwestern University 2145 Sheridan Rd, Tech L359](https://www.pdfsearch.io/img/2e7c8f4e14e2a2fca15714d41da09260.jpg) | Add to Reading ListSource URL: www.ece.northwestern.edu- Date: 2017-09-25 20:24:19
|
---|
29![Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3 Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3](https://www.pdfsearch.io/img/338b2935e303f842d60397dc2597e753.jpg) | Add to Reading ListSource URL: www.cs.utah.edu- Date: 2004-04-03 19:39:33
|
---|
30![A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1 A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1](https://www.pdfsearch.io/img/e1a9424712f13881109ff5d5d2bb8d04.jpg) | Add to Reading ListSource URL: jeapostrophe.github.io- Date: 2018-04-03 12:30:31
|
---|